Handle assignments to global variables from the init function by k4n4ry · Pull Request #253 · uber-go/nilaway

k4n4ry · 2024-06-02T17:41:20Z

fixes #56

Added logic in GlobalAnalyzer's run() to retrieve the init function from the file.
Within getGlobalConsumers(), analyzed assignments to global variables from the init function and used it as one of the criteria for determining consumer creation.

Please provide comments if this implementation differs from nilaway's coding practices or design principles. Thank you.

CLAassistant · 2024-06-02T17:41:25Z

All committers have signed the CLA.

sonalmahajan15 · 2024-06-05T06:33:26Z

@k4n4ry, thank you for submitting the PR! We'll take a look soon and follow up with you.

codecov · 2024-06-08T14:05:34Z

Codecov Report

❌ Patch coverage is 96.00000% with 2 lines in your changes missing coverage. Please review.
✅ Project coverage is 87.62%. Comparing base (f3e3099) to head (79a3f23).
⚠️ Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
assertion/global/analyzer.go	92.85%	1 Missing and 1 partial ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #253      +/-   ##
==========================================
+ Coverage   87.54%   87.62%   +0.07%     
==========================================
  Files          79       79              
  Lines        9465     9510      +45     
==========================================
+ Hits         8286     8333      +47     
+ Misses        937      936       -1     
+ Partials      242      241       -1

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

cgetzen · 2024-06-11T23:26:04Z

+
+// getInitFuncDecl searches for the init function declaration in the given *ast.File.
+// It returns the *ast.FuncDecl representing the init function if found, or nil otherwise.
+func getInitFuncDecl(file *ast.File) *ast.FuncDecl {


This only returns the first init function. I believe there can be an arbitrary number of them.

Thank you. I have made the changes you suggested and added additional tests.

SongShawn · 2024-06-15T07:14:21Z

package sxn01

var (
	b *int
)

func init() {
	init_b_val()
}

func init_b_val() {
	b = new(int)
}

func use_global_var() {
	*b = 20
}

The above code triggers a false positive

…ed functions

k4n4ry · 2024-06-21T04:00:46Z

@SongShawn
Thanks for the review. I've updated the function to retrieve not only the init functions but also all functions called directly or indirectly from them. dce532a

k4n4ry · 2024-08-11T10:55:20Z

@sonalmahajan15
Hello, could you please rerun the CI and review this code? Thank you.

yuxincs · 2024-08-21T22:29:55Z

I'm updating your branch since we recently merged CI fixes, which are required for the CI to pass on forked repositories. I'll review the code this week :)

github-actions · 2024-08-21T22:37:56Z

Golden Test

Warning

❌ NilAway errors reported on stdlib are different 📉.

2223 errors on base branch (main, f3e3099)
2222 errors on test branch (40e77ad)

Diffs

+ /opt/hostedtoolcache/go/1.25.12/x64/src/archive/tar/writer.go:543:7: Potential nil panic detected. Observed nil flow from source to dereference point: 
+ 	- tar/writer.go:304:27: unassigned variable `spb` passed as arg `p` to `Write()`
+ 	- tar/writer.go:540:26: passed as parameter `b` to `regFileWriter.Write()` (implementing `Writer.Write()`)
+ 	- tar/writer.go:543:7: function parameter `b` sliced into
+ /opt/hostedtoolcache/go/1.25.12/x64/src/archive/tar/writer.go:583:7: Potential nil panic detected. Observed nil flow from source to dereference point: 
+ 	- tar/writer.go:304:27: unassigned variable `spb` passed as arg `p` to `Write()`
+ 	- tar/writer.go:580:29: passed as parameter `b` to `sparseFileWriter.Write()` (implementing `Writer.Write()`)
+ 	- tar/writer.go:583:7: function parameter `b` sliced into
+ /opt/hostedtoolcache/go/1.25.12/x64/src/archive/zip/zip_test.go:431:7: Potential nil panic detected. Observed nil flow from source to dereference point: 
+ 	- flate/deflate.go:171:33: unassigned variable `window` passed as arg `input` to `writeBlock()`
+ 	- flate/huffman_bit_writer.go:478:16: function parameter `input` passed as arg `bytes` to `writeBytes()`
+ 	- flate/huffman_bit_writer.go:185:10: function parameter `bytes` passed as arg `b` to `write()`
+ 	- flate/huffman_bit_writer.go:136:28: function parameter `b` passed as arg `p` to `Write()`
+ 	- zip/zip_test.go:421:24: passed as parameter `p` to `suffixSaver.Write()` (implementing `Writer.Write()`)
+ 	- zip/zip_test.go:431:7: function parameter `p` sliced into
+ /opt/hostedtoolcache/go/1.25.12/x64/src/bytes/bytes.go:404:7: Potential nil panic detected. Observed nil flow from source to dereference point: 
+ 	- decodemeta/decodefile.go:175:11: result 0 of `GetPackagePayload()` lacking guarding; passed as arg `p` to `Write()` via the assignment(s):
+ 		- `r.GetPackagePayload(...)` to `pp` at decodemeta/decodefile.go:172:2
+ 	- io/multi.go:83:23: passed as parameter `p` to `multiWriter.Write()` (implementing `Writer.Write()`)
+ 	- io/multi.go:85:20: function parameter `p` passed as arg `p` to `Write()`
+ 	- testing/testing.go:1127:24: passed as parameter `p` to `outputWriter.Write()` (implementing `Writer.Write()`)
+ 	- testing/testing.go:1141:28: function parameter `p` passed as arg `s` to `SplitAfter()`
+ 	- bytes/bytes.go:446:18: function parameter `s` passed as arg `s` to `genSplit()`
+ 	- bytes/bytes.go:404:7: function parameter `s` sliced into
+ /opt/hostedtoolcache/go/1.25.12/x64/src/bytes/bytes.go:404:7: Potential nil panic detected. Observed nil flow from source to dereference point: 
+ 	- decodemeta/decodefile.go:175:11: result 0 of `GetPackagePayload()` lacking guarding; passed as arg `p` to `Write()` via the assignment(s):
+ 		- `r.GetPackagePayload(...)` to `pp` at decodemeta/decodefile.go:172:2
+ 	- testing/testing.go:1127:24: passed as parameter `p` to `outputWriter.Write()` (implementing `Writer.Write()`)
+ 	- testing/testing.go:1141:28: function parameter `p` passed as arg `s` to `SplitAfter()`
+ 	- bytes/bytes.go:446:18: function parameter `s` passed as arg `s` to `genSplit()`
+ 	- bytes/bytes.go:404:7: function parameter `s` sliced into
+ /opt/hostedtoolcache/go/1.25.12/x64/src/bytes/bytes.go:404:7: Potential nil panic detected. Observed nil flow from source to dereference point: 
+ 	- flate/deflate.go:171:33: unassigned variable `window` passed as arg `input` to `writeBlock()`
+ 	- flate/huffman_bit_writer.go:478:16: function parameter `input` passed as arg `bytes` to `writeBytes()`
+ 	- flate/huffman_bit_writer.go:185:10: function parameter `bytes` passed as arg `b` to `write()`
+ 	- flate/huffman_bit_writer.go:136:28: function parameter `b` passed as arg `p` to `Write()`
+ 	- io/multi.go:83:23: passed as parameter `p` to `multiWriter.Write()` (implementing `Writer.Write()`)
+ 	- io/multi.go:85:20: function parameter `p` passed as arg `p` to `Write()`
+ 	- testing/testing.go:1127:24: passed as parameter `p` to `outputWriter.Write()` (implementing `Writer.Write()`)
+ 	- testing/testing.go:1141:28: function parameter `p` passed as arg `s` to `SplitAfter()`
+ 	- bytes/bytes.go:446:18: function parameter `s` passed as arg `s` to `genSplit()`
+ 	- bytes/bytes.go:404:7: function parameter `s` sliced into
+ /opt/hostedtoolcache/go/1.25.12/x64/src/bytes/bytes.go:404:7: Potential nil panic detected. Observed nil flow from source to dereference point: 
+ 	- flate/deflate.go:171:33: unassigned variable `window` passed as arg `input` to `writeBlock()`
+ 	- flate/huffman_bit_writer.go:478:16: function parameter `input` passed as arg `bytes` to `writeBytes()`
+ 	- flate/huffman_bit_writer.go:185:10: function parameter `bytes` passed as arg `b` to `write()`
+ 	- flate/huffman_bit_writer.go:136:28: function parameter `b` passed as arg `p` to `Write()`
+ 	- io/multi.go:83:23: passed as parameter `p` to `multiWriter.Write()` (implementing `Writer.Write()`)
+ 	- io/multi.go:85:20: function parameter `p` passed

 ...(truncated)...

f` accessed field `name`
- /opt/hostedtoolcache/go/1.25.12/x64/src/os/os_test.go:1090:6: Potential nil panic detected. Observed nil flow from source to dereference point: 
- 	- os/file_unix.go:52:9: literal `nil` returned as error result 0 of `rename()`
- 	- os/file.go:438:9: result 0 of `rename()` found in at least one path of `Rename()` for return in position 0
- 	- os/os_test.go:1090:6: result 0 of `Rename()` accessed field `Op` via the assignment(s):
- 		- `Rename(...)` to `err` at os/os_test.go:1087:2
- 
- (Same nil source could also cause potential nil panic(s) at 11 other place(s): "os/os_test.go:1091:75", "os/os_test.go:1093:6", "os/os_test.go:1094:72", "os/os_test.go:1096:6", "os/os_test.go:1097:70", "os/os_test.go:1127:6", "os/os_test.go:1128:75", "os/os_test.go:1130:6", "os/os_test.go:1131:72", "os/os_test.go:1133:6", and "os/os_test.go:1134:70".)
- /opt/hostedtoolcache/go/1.25.12/x64/src/os/removeall_test.go:507:6: Potential nil panic detected. Observed nil flow from source to dereference point: 
- 	- os/removeall_at.go:19:10: literal `nil` returned as error result 0 of `removeAll()`
- 	- os/path.go:74:9: result 0 of `removeAll()` found in at least one path of `RemoveAll()` for return in position 0
- 	- os/removeall_test.go:507:6: result 0 of `RemoveAll()` called `Error()` via the assignment(s):
- 		- `RemoveAll(...)` to `err` at os/removeall_test.go:502:2
- /opt/hostedtoolcache/go/1.25.12/x64/src/os/root.go:91:9: Potential nil panic detected. Observed nil flow from source to dereference point: 
- 	- os/os_test.go:1906:13: unassigned variable `r` used as receiver to call `OpenFile()`
- 	- os/root.go:121:2: read by method receiver `r` used as receiver to call `logOpen()`
- 	- os/root.go:280:21: read by method receiver `r` used as receiver to call `Name()`
- 	- os/root.go:91:9: read by method receiver `r` accessed field `root`
- /opt/hostedtoolcache/go/1.25.12/x64/src/os/root_openat.go:371:6: Potential nil panic detected. Observed nil flow from source to dereference point: 
- 	- os/root.go:352:9: literal `nil` returned from `splitPathInRoot()` in position 0 via the assignment(s):
- 		- `nil` to `suffix` at os/root.go:316:3,
- 		- `append(...)` to `parts` at os/root.go:351:2
- 	- os/root_openat.go:371:6: result 0 of `splitPathInRoot()` sliced into via the assignment(s):
- 		- `splitPathInRoot(...)` to `newparts` at os/root_openat.go:456:4,
- 		- `newparts` to `parts` at os/root_openat.go:474:4
- 
- (Same nil source could also cause potential nil panic(s) at 6 other place(s): "os/root_openat.go:439:33", "os/root_openat.go:456:64", "os/root_openat.go:456:75", "os/root_openat.go:465:42", "os/root_openat.go:478:13", and "os/root_openat.go:479:25".)
- /opt/hostedtoolcache/go/1.25.12/x64/src/reflect/type.go:2077:9: Potential nil panic detected. Observed nil flow from source to dereference point: 
- 	- reflect/all_test.go:7230:22: nilable value assigned into global variable `Tptr`
- 	- reflect/all_test.go:7315:31: global variable `Tptr` passed as arg `t` to `SliceOf()`
- 	- reflect/type.go:2077:9: function parameter `t` called `common()`
- /opt/hostedtoolcache/go/1.25.12/x64/src/reflect/type.go:2077:9: Potential nil panic detected. Observed nil flow from source to dereference point: 
- 	- reflect/all_test.go:7230:28: nilable value assigned into global variable `Tscalarptr`
- 	- reflect/all_test.go:7338:39: global variable `Tscalarptr` passed as arg `elem` to `ArrayOf()`
- 	- reflect/type.go:2649:26: function parameter `elem` passed as arg `t` to `SliceOf()`
- 	- reflect/type.go:2077:9: function parameter `t` called `common()`
- /opt/hostedtoolcache/go/1.25.12/x64/src/reflect/type.go:2077:9: Potential nil panic detected. Observed nil flow from source to dereference point: 
- 	- reflect/all_test.go:7230:40: nilable value assigned into global variable `Tptrscalar`
- 	- reflect/all_test.go:7327:46: global variable `Tptrscalar` passed as arg `elem` to `ArrayOf()`
- 	- reflect/type.go:2649:26: function parameter `elem` passed as arg `t` to `SliceOf()`
- 	- reflect/type.go:2077:9: function parameter `t` called `common()`
- /opt/hostedtoolcache/go/1.25.12/x64/src/reflect/type.go:2077:9: Potential nil panic detected. Observed nil flow from source to dereference point: 
- 	- reflect/all_test.go:7230:52: nilable value assigned into global variable `Tbigptrscalar`
- 	- reflect/all_test.go:7329:31: global variable `Tbigptrscalar` passed as arg `t` to `SliceOf()`
- 	- reflect/type.go:2077:9: function parameter `t` called `common()`
- /opt/hostedtoolcache/go/1.25.12/x64/src/reflect/type.go:2077:9: Potential nil panic detected. Observed nil flow from source to dereference point: 
- 	- reflect/all_test.go:7230:5: nilable value assigned into global variable `Tscalar`
- 	- reflect/all_test.go:7344:41: global variable `Tscalar` passed as arg `elem` to `ArrayOf()`
- 	- reflect/type.go:2649:26: function parameter `elem` passed as arg `t` to `SliceOf()`
- 	- reflect/type.go:2077:9: function parameter `t` called `common()`

TvdW · 2025-12-23T20:23:40Z

Hi, any news on landing this? I've been running this locally and it's very useful 😄

Handle assignments to global variables from the init function

6bd8fdc

cgetzen reviewed Jun 11, 2024

View reviewed changes

Refactor getInitFuncDecl to return a slice of *ast.FuncDecl

2450de2

Refactor getInitFuncDecls to handle multiple init functions and relat…

dce532a

…ed functions

Merge branch 'main' into handle-init-func

00ccc33

Merge branch 'main' into handle-init-func

9c61f48

This was referenced Mar 12, 2025

Handle assignments to global variables from the init function greptileai/uber#4

Open

Add w/o grouping run in golden test greptileai/uber#5

Open

yuxincs added 5 commits January 25, 2026 23:10

Merge branch 'main' into handle-init-func

0641188

Fix rebase conflicts

7f3a5e1

Merge branch 'main' into handle-init-func

7acc4b6

Merge branch 'main' into handle-init-func

683242b

Merge branch 'main' into handle-init-func

79a3f23

yuxincs approved these changes Jul 30, 2026

View reviewed changes

yuxincs enabled auto-merge (squash) July 30, 2026 17:04

yuxincs merged commit 6be0f50 into uber-go:main Jul 30, 2026
9 checks passed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Handle assignments to global variables from the init function - #253

Handle assignments to global variables from the init function#253
yuxincs merged 10 commits into
uber-go:mainfrom
k4n4ry:handle-init-func

k4n4ry commented Jun 2, 2024

Uh oh!

CLAassistant commented Jun 2, 2024 •

edited

Loading

Uh oh!

sonalmahajan15 commented Jun 5, 2024

Uh oh!

codecov Bot commented Jun 8, 2024 •

edited

Loading

Uh oh!

cgetzen Jun 11, 2024

Uh oh!

k4n4ry Jun 13, 2024

Uh oh!

SongShawn commented Jun 15, 2024

Uh oh!

k4n4ry commented Jun 21, 2024

Uh oh!

k4n4ry commented Aug 11, 2024

Uh oh!

yuxincs commented Aug 21, 2024

Uh oh!

github-actions Bot commented Aug 21, 2024 •

edited

Loading

Uh oh!

TvdW commented Dec 23, 2025

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

7 participants

Uh oh!

Conversation

k4n4ry commented Jun 2, 2024

Uh oh!

CLAassistant commented Jun 2, 2024 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

sonalmahajan15 commented Jun 5, 2024

Uh oh!

codecov Bot commented Jun 8, 2024 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Codecov Report

Uh oh!

cgetzen Jun 11, 2024

Choose a reason for hiding this comment

Uh oh!

k4n4ry Jun 13, 2024

Choose a reason for hiding this comment

Uh oh!

SongShawn commented Jun 15, 2024

Uh oh!

k4n4ry commented Jun 21, 2024

Uh oh!

k4n4ry commented Aug 11, 2024

Uh oh!

yuxincs commented Aug 21, 2024

Uh oh!

github-actions Bot commented Aug 21, 2024 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Golden Test

Uh oh!

TvdW commented Dec 23, 2025

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

7 participants

CLAassistant commented Jun 2, 2024 •

edited

Loading

codecov Bot commented Jun 8, 2024 •

edited

Loading

github-actions Bot commented Aug 21, 2024 •

edited

Loading